535 research outputs found

    Highlighting the lambda-free fragment of Automath

    Full text link

    Stereometrie in V.W.O.

    Get PDF

    Definition of limits in Automath

    Get PDF

    A note on ordered bipartite graphs

    Get PDF

    A framework for the description of a number of members of the AUTOMATH family

    Get PDF
    A framework for the description of a number of members of the AUTOMATH family by N.G. de Bruijn 1. Introduction. I

    Sorting arrays by means of swaps

    Get PDF
    AbstractAs a preparation to the study of a particular sorting machine, the sorting of arrays by sequences of swaps is treated in this paper. In particular it is shown that if a sequence of “miniswaps” sorts the worst possible arrangement of an array, then it sorts every arrangement of that array. The case of permutation arrays was treated before by R.W. Floyd

    Penrose patterns are almost entirely determined by two points

    Get PDF
    AbstractIt is shown that for any Penrose pattern π and for any positive number ε we can find two vertices P and Q of π such that in any large circular disk all but a fraction of at most ε of the vertices is common to all Penrose patterns (with the same pieces, in the same directions) that have P and Q as vertices

    Commentary

    Get PDF
    corecore